Order theory - PDFSEARCH.IO - Document Search Engine

Order theory
Results: 3266

#	Item
871	1. New Order from Old New Order from Old: The Rise of Second-Order Cybernetics and Implications for Machine Intelligence Add to Reading List Source URL: www.pangaro.com Language: English - Date: 2012-08-16 19:29:17 Knowledge Systems scientists Systems theory Formal sciences Guggenheim Fellows Second-order cybernetics Gordon Pask Conversation theory New cybernetics Cybernetics Science Systems science
872	Higher-Order and Symbolic Computation manuscript No. (will be inserted by the editor) Compilation of extended recursion in call-by-value functional languages Tom Hirschowitz · Xavier Leroy · J. B. Wells Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2009-12-15 04:49:16 Computability theory Recursion Theoretical computer science Models of computation Formal methods Lambda calculus Standard ML Free variables and bound variables Scheme Software engineering Computing Mathematics
873	Theory Question 3 Page 1 of 8 Theory Question 3 This question consists of five independent parts. Each of them asks for an estimate of an order of magnitude only, not for a precise answer. Enter all your answers into the Add to Reading List Source URL: www.jyu.fi Language: English - Date: 2006-08-02 04:17:06 Heat transfer Fluid dynamics Physical quantities Lightning Storm F-number Properties of water Gas Camera lens Physics Chemistry Heat conduction
874	Typed Iterators for XML ∗ Giuseppe Castagna Kim Nguyễn PPS (CNRS) - Université Paris 7 - Paris, France Add to Reading List Source URL: www.lri.fr Language: English - Date: 2010-10-14 05:33:04 Mathematics Linear filters Filter General topology Order theory Type system Natural deduction Kalman filter Electronic engineering Filter theory Electronics
875	SURFACE-WATER STATIONS, IN DOWNSTREAM ORDER, FOR WHICH Add to Reading List Source URL: ny.water.usgs.gov Language: English - Date: 2015-02-20 10:47:35 Field theory Mathematics Algebraic number theory 175 Integers Q
876	Just Count the Satisfied Groundings: Scalable Local-Search and Sampling Based Inference in MLNs Deepak Venugopal Department of Computer Science The University of Texas at Dallas Add to Reading List Source URL: www.hlt.utdallas.edu Language: English - Date: 2014-12-01 04:03:20 Bayesian statistics Artificial intelligence Model theory Graphical models Markov logic network First-order logic Gibbs sampling Constructible universe Bayesian network Mathematics Theoretical computer science Applied mathematics
877	General Topology Jesper M. Møller Matematisk Institut, Universitetsparken 5, DK–2100 København E-mail address: URL: http://www.math.ku.dk/~moller Add to Reading List Source URL: www.math.ku.dk Language: English - Date: 2015-04-22 03:00:21 Order theory Equivalence relation Total order Surjective function Bijection injection and surjection Continuous function Partially ordered set Quotient space Injective function Mathematics Mathematical analysis Functions and mappings
878	Competitive Facility Location: The Voronoi Game ? Hee-Kap Ahn a Siu-Wing Cheng b Otfried Cheong a Mordecai Golin b Ren´e van Oostrum a a Department Add to Reading List Source URL: www.cs.ust.hk Language: English - Date: 2003-03-18 22:28:18 Mathematics Structure Abstraction Topology Interval Order theory
879	Implementation of the Reduced Order Information Filter ROIF Data Assimilation Scheme in HYCOM An Update on Tuning Experiments in Progress & Computational Performance Add to Reading List Source URL: hycom.org Language: English - Date: 2009-05-23 18:47:30 Cybernetics Systems theory Linear filters Bayesian statistics Signal processing Data assimilation Kalman filter Information filter Matrix Statistics Estimation theory Control theory
880	On the Alekhnovich–Razborov degree lower bound Yuval Filmus∗ October 17, 2014 1 Add to Reading List Source URL: www.cs.toronto.edu Language: English - Date: 2014-10-17 02:14:03 Mathematics Homogeneous polynomial Representation theory Entailment Monomial order Algebra Abstract algebra Polynomials

UPDATE